The usual way for new cells to come into being is by division of old cells. So the zygote, which is a—new—single cell formed from two, the sperm and ovum, is an exception. Textbooks of human genetics usually say that this new cell is beginning of a new human individual. What this indicates is that they suddenly forget about identical twins.

In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also (...) a means of modelling proofs as well as provability. (shrink)

Individual and Society in Buddhism. W. G. Weeraratne. Metro Printers Ltd., Colombo. 101pp £2.

Upshot: This response focuses on the following issues, which summarize the points made by the commentaries: (i) further reflection on and details of the methodological framework that was applied to studying the proposed design of our innovation course, (ii) the issue of generalizability of the findings for teaching innovation (in this context the question of generic or transferable skills will become central), and (iii) finally, more precise explanation of what we mean by “learning from the future as it emerges.”.

One of the ways of dividing all philosophers into two kinds is by saying of each whether he is an ordinary man's philosopher or a philosophers' philosopher. Thus Plato is a philosophers' philosopher and Aristotle an ordinary man's philosopher. This does not depend on being easy to understand: a lot of Aristotle's Metaphysics is immensely difficult. Nor does being a philosophers' philosopher imply that an ordinary man cannot enjoy the writings, or many of them. Plato invented and exhausted a form: (...) no one else has written such dialogues. So someone with no philosophical bent, or who has left his philosophical curiosity far behind may still enjoy reading some of them. (shrink)

Knowledge of the ethical and legal basis of medicine is as essential to clinical practice as an understanding of basic medical sciences. In the UK, the General Medical Council requires that medical graduates behave according to ethical and legal principles and must know about and comply with the GMC’s ethical guidance and standards. We suggest that these standards can only be achieved when the teaching and learning of medical ethics, law and professionalism are fundamental to, and thoroughly integrated both vertically (...) and horizontally throughout, the curricula of all medical schools as a shared obligation of all teachers. The GMC also requires that each medical school provides adequate teaching time and resources to achieve the above. We reiterate that the adequate provision and coordination of teaching and learning of ethics and law requires at least one full-time senior academic in ethics and law with relevant professional and academic expertise. In this paper we set out an updated indicative core content of learning for medical ethics and law in UK medical schools and describe its origins and the consultative process by which it was achieved. (shrink)

Consider the set of tautologies of the classical propositional calculus containing no connective other than and, or, and not. Consider the subset of this set containing tautologies in exactlyn propositional variables. This paper provides a method for determining the number of equivalence classes of each such subset modulo equivalence in the infinite-valued Lukasiewicz propositional calculus.